Perfect extensions of de Morgan algebras
نویسندگان
چکیده
An algebra $$\mathbf{A}$$ is called a perfect extension of its subalgebra $$\mathbf{B}$$ if every congruence has unique to . This terminology was used by Blyth and Varlet [1994]. In the case lattices, this concept described Grätzer Wehrung [1999] saying that congruence-preserving Not many investigations have been carried out so far. The present authors in another recent study faced question when de Morgan $$\mathbf{M}$$ Boolean $$B(\mathbf{M})$$ , so-called skeleton note full solution interesting problem given. theory natural dualities sense Davey Werner [1983] Clark [1998], as well product representations, are main tools obtain solution.
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملA Characterization of De Morgan Algebras
In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...
متن کاملCongruence Coherent Symmetric Extended de Morgan Algebras
An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...
متن کاملINVOLUTIVE STONE ALGEBRAS AND REGULAR a-DE MORGAN ALGEBRAS
A piggyback duality and a translation process between this one and a Priestley duality for each subvariety of involutive Stone algebras and regular o-De Morgan algebras is presented. As a consequence we describe free algebras and the prime spectrum of each subvariety.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra Universalis
سال: 2021
ISSN: ['0002-5240', '1420-8911']
DOI: https://doi.org/10.1007/s00012-021-00750-5